#include <stdio.h>
int test_12_1();

int main(){
	test_12_1();
	
	
	return 0;
}
